Testing the not-so-happy path
jorgeortiz.dev·3h·
Discuss: r/rust
🧪Property-Based Testing
The AI Engineer's Guide to LLM Observability with OpenTelemetry
agenta.ai·2d·
Discuss: Hacker News
👁️System Observability
Normalisation of SWIFT Message Counterparties with Feature Extraction and Clustering
arxiv.org·1d
🧩Parser Combinators
How to Test
matklad.github.io·23h·
Discuss: Hacker News, Hacker News
🧪Property-Based Testing
Systems Engineering for Agentic Applications
agenticapplications.substack.com·21h·
Discuss: r/programming
🩹Self-Healing Systems
Breaking Verifiable Abstractions
alperenkeles.com·23h·
Discuss: Hacker News, r/programming
🔍Formal Verification
Show HN: ExeTrace – introducing executable drift monitoring (EDM)
sites.google.com·22h·
Discuss: Hacker News
👁️System Observability
Gradient routing is better than pretraining filtering
lesswrong.com·2h
🩹Self-Healing Systems
Type-safe and user-friendly error handling in Swift 6
theswiftdev.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
DeepQuali: Determining Software Quality with AI
blog.qaware.de·1d·
Discuss: Hacker News
🔄Reproducible Builds
2025-09-01: Let's write a peephole optimizer for QBE's arm64 backend
briancallahan.net·1d·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.net·16h·
Discuss: Hacker News
🧩Parser Combinators
Debugging Rustler on Illumos
system-illumination.org·2h·
Discuss: Lobsters, Hacker News
🔬Static Analysis
Vibe-Coding as We Need to Eat Our Own Dog Food
kevinkuipers.substack.com·5h·
Discuss: Substack
🧱Immutable Infrastructure
Wake VMs in 200ms with Light Sleep, eBPF, and Snapshots
koyeb.com·22h·
Discuss: Hacker News
🐳Containerization
Dependent? Extensible? The curious case of union type in Kotlin
hacklewayne.com·1d
💎Refinement Types
Benchmarking LLM Codegen for SQL
beekeeperstudio.io·1h·
Discuss: Hacker News
🔄Reproducible Builds
Tau² Benchmark in Action: Early Results and Key Takeaways
quesma.com·1d·
Discuss: Hacker News
👁️System Observability
The hidden cost of hiring a QA engineer in 2025 (and why AI services are changing the math)
bug0.com·1h·
Discuss: r/programming
👁️System Observability
Tripping Around REPL
vlaaad.github.io·1d·
Discuss: Hacker News
🛡️seL4